The ROL Deductive and Object - Oriented Database SystemMengchi

This paper describes ROL, a deductive and object-oriented database language which has been implemented. ROL integrates important features of object-oriented and deduc-tive database systems. It supports object identity, complex objects, classes, class hierarchy, multiple inheritance with overriding and blocking, and schema. It also supports structured values such as functor objects and sets, treats them as rst class citizens, and provides powerful mechanisms for representing both partial and complete information on sets. It is an extension of pure valued-oriented deductive systems such as Datalog and LDL and subsumes them as special cases. It supports important integrity constraints such as domain, key, ref-erential, functional dependency, and cardinality in a uniform framework. Furthermore, it has a logical semantics that cleanly accounts for all of its object-oriented and value-oriented features.